Linearity polymorphism